Nonlinear Code-Based Low-Overhead Fine-Grained Control Flow Checking

نویسندگان

چکیده

A hardware-based control flow monitoring technique enables the detection of errors in both and instruction stream executed on a processor. However, as shown recent publications, these techniques fail to detect malicious carefully-tuned manipulations basic block. This article presents non-linear encoder checker that can cope with this weakness. It is MAC based has advantage working blocks variable length, every error, performs computation real-time. The architecture easily be modified support different signature size error masking probabilities.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

VST-Flow: Fine-grained low-level reasoning about real-world C code

We show how support for information-flow security proofs could be added on top of the Verified Software Toolchain (VST). We discuss several attempts to define information flow security in a VSTcompatible way, and present a statement of information flow security in “continuation-passing” style. Moreover, we present Hoare rules augmented with information flow control assertions, and sketch how th...

متن کامل

A Ramp Code for Fine-grained Access Control

Threshold ramp secret sharing schemes are designed so that (i) certain subsets of shares have no information about the secret, (ii) some subsets have partial information about the secret and (iii) some subsets have complete information to recover the secret. However most of the ramp schemes in present literature do not control the leakage of information in partial access sets, due to which the ...

متن کامل

Modular Safety Checking for Fine-Grained Concurrency

Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacerbate this problem, because threads interfere more often and in richer ways. In this paper we provide a thread-modular safety checker for a class of pointermanipulating fine-grained concurrent algorithms. Our checker u...

متن کامل

Parameterized Model Checking of Fine Grained Concurrency

Concurrent data structures are provided in libraries such as Intel Thread Building Blocks and Java.util.concurrent to enable efficient implementation of multi-threaded programs. Their efficiency is achieved by using fine grained synchronization which creates less constrained interaction between the threads. This leads to a large number of possible interleavings and makes concurrent data structu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Transactions on Computers

سال: 2022

ISSN: ['1557-9956', '2326-3814', '0018-9340']

DOI: https://doi.org/10.1109/tc.2021.3057132